
#ifndef KERNEL_H
#define KERNEL_H

#define MAX_TASKS 32

#include "task.h"
#include "context.h"
#include "isr.h"

extern void kernel(void);
extern void intr(void);

#endif /* KERNEL_H */
